Implementation of Recursively Enumerable Languages using Universal Turing Machine in JFLAP

This paper presents the implementation of recursively enumerable language using Universal Turing machine for JFLAP platform. Automata play a major role in compiler design and parsing. The class of formal languages that work for the most complex problems belongs to the set of Recursively Enumerable Language (REL).RELs are accepted by the type of automata as Turing Machine. Turing Machines are the most powerful computational machines and are the theoretical basis for modern computers. Turing Machine works for all classes of languages including regular language, Context Free Languages as well as Recursive Enumerable Languages. Still it is a tedious task to create and maintain Turing Machines for all problems. The Universal Turing Machine (UTM) is a solution to this problem. A UTM simulates any other TM, thus providing a single model and solution for all the computational problems. Universal Turing Machine is used to implementation of RELs for JFLAP platform. JFLAP is most successful and widely used tool for visualizing and simulating all types of automata.